Commutation Preperties and Generating Sets Characterize Slices of Various Synchronization Primitives
نویسنده
چکیده
Abstmct. Various synchronization primitives are described by adding and testing integer vectors, or by using “Petri Nets”. A slice represents a local behavior, described by permissible sequences of distinct actions of the system. We present a double characterization of slices defined by various synchronization primitives: In terms of generating sets and dually in terms of commutation properties. A typical form of a commutation property is: The set of sequences of past actions which disallow a certain coming action is closed under certain permutations. The synchronization primitives treated here include various systems which lie between PV and Vector Replacement Systems or Petri Nets.
منابع مشابه
Lightweight 4x4 MDS Matrices for Hardware-Oriented Cryptographic Primitives
Linear diffusion layer is an important part of lightweight block ciphers and hash functions. This paper presents an efficient class of lightweight 4x4 MDS matrices such that the implementation cost of them and their corresponding inverses are equal. The main target of the paper is hardware oriented cryptographic primitives and the implementation cost is measured in terms of the required number ...
متن کاملUsing transitive closure and transitive reduction to extract coarse-grained parallelism in program loops
A technique for extracting coarse-grained parallelism available in loops is presented. It is based on splitting a set of dependence relations into two sets. The first one is to be used for generating code scanning slices while the second one permits us to insert send and receive functions to synchronize the slices execution. The paper presents a way demonstrating how to remove redundant synchro...
متن کاملمدلسازی بازشناسی واجی کلمات فارسی
Abstract of spoken word recognition is proposed. This model is particularly concerned with extraction of cues from the signal leading to a specification of a word in terms of bundles of distinctive features, which are assumed to be the building blocks of words. In the model proposed, auditory input is chunked into a set of successive time slices. It is assumed that the derivation of the underly...
متن کاملImproving the Throughput of Synchronization by Insertion of Delays
Efficiency of synchronization mechanisms can limit the parallel performance of many shared-memory applications. In addition, the ever increasing performance gap between processor and interprocessor communication may further compromise the scalability of these primitives. Ideally, synchronization primitives should provide high performance under both high and low contention without requiring subs...
متن کاملScalable NUMA-aware Blocking Synchronization Primitives
Application scalability is a critical aspect to efficiently use NUMA machines with many cores. To achieve that, various techniques ranging from task placement to data sharding are used in practice. However, from the perspective of an operating system, these techniques often do not work as expected because various subsystems in the OS interact and share data structures among themselves, resultin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 8 شماره
صفحات -
تاریخ انتشار 1979